1.1.1.2. core.DivideZero (C, C++, ObjC)
Check for division by zero.

Examples:

void test(int z) {
  if (z == 0)
    int x = 1 / z; // warn
}

void test() {
  int x = 1;
  int y = x % 0; // warn
}